| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
19/02/2002 |
|
Data da última atualização: |
01/09/2010 |
|
Autoria: |
MALDONADO, J. C.; CHAIM, M. L.; JINO, M. |
|
Afiliação: |
USP; EMBRAPA-CNPTIA, UNICAMP. |
|
Título: |
Bridging the gap in the presence of infeasible paths: potential uses testing criteria. |
|
Ano de publicação: |
1992 |
|
Fonte/Imprenta: |
In: CONFERENCIA OF THE CHILEAN COMPUTER SOCIETY, 1992, Santiago, Chile. Proceedings... (S.I., 1992?). |
|
Páginas: |
p. 323-340. |
|
Idioma: |
Inglês |
|
Conteúdo: |
Data flow based structural testeing criteria have been introduced aiming at "bridging the gap" between branch testing and path testing, and at making stronger the structural testing criteria, but none in the literature "bridges the gap" in the presence of infeasible paths. Potential uses criteria family (PU), based on the potential use concept, is introduced. Potential uses criteria are analysed in the presence of infeasible (unexecutable) paths; these criteria estabilish a hierarchy including all-edges and all-paths criteria in addition to satisfying the minimum coverage requirements from the data flow point of view. Potential uses criteria were inspired the data flow criteria family (DF); each PU criterion includes its correspondent DF criterion and no other data flow based criterion includes PU criteria. Complexity analysis of other data flow criteria is revisited and disagreement with published results is highlighted; all data-flow based criteria have complexity greater then or equal to 2t. |
|
Palavras-Chave: |
Complexity analysis; Data-flow based criteria; Hierarchy of testing criteria; Infeasible paths; Structural testing criteria. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01705naa a2200217 a 4500
001 1004458
005 2010-09-01
008 1992 bl --- 0-- u #d
100 1 $aMALDONADO, J. C.
245 $aBridging the gap in the presence of infeasible paths$bpotential uses testing criteria.
260 $c1992
300 $ap. 323-340.
520 $aData flow based structural testeing criteria have been introduced aiming at "bridging the gap" between branch testing and path testing, and at making stronger the structural testing criteria, but none in the literature "bridges the gap" in the presence of infeasible paths. Potential uses criteria family (PU), based on the potential use concept, is introduced. Potential uses criteria are analysed in the presence of infeasible (unexecutable) paths; these criteria estabilish a hierarchy including all-edges and all-paths criteria in addition to satisfying the minimum coverage requirements from the data flow point of view. Potential uses criteria were inspired the data flow criteria family (DF); each PU criterion includes its correspondent DF criterion and no other data flow based criterion includes PU criteria. Complexity analysis of other data flow criteria is revisited and disagreement with published results is highlighted; all data-flow based criteria have complexity greater then or equal to 2t.
653 $aComplexity analysis
653 $aData-flow based criteria
653 $aHierarchy of testing criteria
653 $aInfeasible paths
653 $aStructural testing criteria
700 1 $aCHAIM, M. L.
700 1 $aJINO, M.
773 $tIn: CONFERENCIA OF THE CHILEAN COMPUTER SOCIETY, 1992, Santiago, Chile. Proceedings... (S.I., 1992?).
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 26 | |
| 21. |  | SUDANO, M. J.; PASCHOAL, D. M.; MAZIERO, R. R. D.; RASCADO, T. da S.; GUASTALI, M. D.; CROCOMO, L. F.; MAGALHAES, L. C. O.; MONTEIRO, B. A.; MARTINS JUNIOR, A.; MACHADO, R.; LANDIM-ALVARENGA, F. da C. Melhorando a capacidade de sobrevivência após a criopreservação: uma abordagem embrionária. REUNIÃO ANUAL DA SOCIEDADE BRASILEIRA DE TECNOLOGIA DE EMBRIÕES, 27., 2013, Praia do Forte. Anais... Praia do Forte, BA: SBTE, 2013. p. 59-66.| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Pecuária Sudeste. |
|    |
| 22. | | MONTE, A. P. O. do; LOIOLA FILHO, J. B.; SOUZA, T. T. dos S.; MIRANDA, M. de S.; MAGALHÃES, L. C.; BARROS, C. H. S. C.; SILVA, A. A. de A.; SANTOS, A. O.; GUIMARÃES, A. de S. L.; COSTA, J. M. da S.; SOUSA, P. H. F. de; NOGUEIRA, D. M.; CORDEIRO, M. F.; LOPES JÚNIOR, E. S. Addition of sucrose on cryoprotectant solution of vitrification enhances the quality of Dorper sheep embryos produced in vivo. Semina: Ciências Agrárias, Londrina, v. 36, n. 6, p. 4257-4268, 2015.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 1 |
| Biblioteca(s): Embrapa Semiárido. |
|  |
| 23. | | MAGALHÃES, L. C.; LOPES JÚNIOR, E. S.; GUIMARÃES, A. de S. L.; MIRANDA, M. de S.; SOUZA, T. T. dos S.; MONTE, A. P. O. de; SILVA, A. A. de A.; SAMPAIO, L. S.; NASCIMENTO, T. V. C.; SOUSA, P. H. F. de; NOGUEIRA, D. M.; CORDEIRO, M. F. Comparison between Day 0 and traditional protocols for estrus synchronization and multiple ovulation in crossbred hair sheep. Journal of Applied Animal Research, v. 47, n. 1, p. 560-564, 2019.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 1 |
| Biblioteca(s): Embrapa Semiárido. |
| |
| 24. | | SUDANO, M. J.; PASCHOAL, D. M.; CAIXETA, E. S.; MAZIERO, R. R. D.; GUASTALI, M. D.; CROCOMO, L. F.; RASCADO, T. S.; MAGALHÃES, L. C. O.; MONTEIRO, B. A.; MARTINS JÚNIOR, A.; MACHADO, R.; BURATINI, J.; LANDIM-ALVARENGA, F. D. C. Effect of high fetal calf serum concentration in the gene expression pattern of in vitro produced bovine embryos. Reproduction, Fertility and Development, v. 26, p. 155, 2014.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Pecuária Sudeste. |
| |
| 25. | | SUDANO, M. J.; CAIXETA, E. S.; PASCHOAL, D. M.; RASCADO, T. S.; CROCOMO, L. F.; MAZIERO, R. R.; MAGALHÃES, L. C. O.; GUASTALI, M. D.; VERGARA, L. E.; MONTEIRO, B. A.; MARTINS JUNIOR, A.; MACHADO, R.; BURATINI, J.; LANDIN-ALVARENGA, F. C. Global gene expression patterns of fresh and vitrified in vitro-produced bovine blastocysts. In: Reproduction, Fertility and Development, p. 187, 2012.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Pecuária Sudeste. |
| |
| 26. | | SUDANO, M. J; SANTOS, V. G.; TATA, A.; FERREIRA, C. R.; PASCHOAL, D. M.; TATIANA D. S. RASCADO; CROCOMO, L. F.; MAGALHÃES, L. C. O.; GUASTALI, M. D.; MAZIERO, R. R. D.; MONTEIRO, B. A.; EBERLIN, M. N.; MACHADO, R.; LANDIM-ALVARENGA, F. D. C. Multivariate and univariate statistical analysis of data from single bovine embryo lipid analysis by MALDI. In: CONGRESSO BRASILEIRO DE ESPECTROSCOPIA DE MASSAS, 4., 2011, Campinas.. Anais... Campinas: Sociedade Brasileira de Espectrometria de Massas, 2011.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Pecuária Sudeste. |
| |
| Registros recuperados : 26 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
